Fundamentals of algebraic specifications 2, module specifications and constraints

Component Based Algebraic Specifications

The rapid adoption of Internet/Intranet technologies has led to an explosive increase in demand for the construction of reliable distributed systems. To meet this important technical challenge, new technologies such as component based software engineering, software architecture[17] and design patterns, attract many software researchers and engineers. Moreover, several standardization activities...

Randomness, Computability, and Algebraic Specifications

Module Algebra for Relational Specifications

Module algebra is described as a parametrised data type that takes a three sorted parameter, involving signatures, renamings and atomic specifications. An actual parameter describing relational specifications is given and a biinterpretation model is made for the resulting specification. 1986 CR Categories: D.2.0 [software engineering]: requirements/ specificationslanguages; D.2.2 [software engi...

Modal Logic and Algebraic Specifications

The established approaches to the semantics of algebraic (equational) speciications are based on a category-theoretic perspective. When possible interpretations are viewed as a category, the extreme points|the initial and nal algebras|present themselves as natural candidates for the canonical interpretation. However, neither choice provides a satisfactory solution for incomplete speciications o...

Inductive Acquisition of Algebraic Specifications

Inductive machine learning suggests an alternative approach to the algebraic specification of software systems: rather than using test cases to validate an existing specification we use the test cases to induce a specification. In the algebraic setting test cases are ground equations that represent specific aspects of the desired system behavior or, in the case of negative test cases, represent...